Knuth Arrow Notation